reachabil相关论文
对多主体系统进行准确的描述和分析是保证多主体系统顺利进行的关键因素之一。将主体的动作分为内部动作和外部动作，主体的内部动作......
1 引言随着计算机网络和通信技术的不断进步,通信网的稳定性很大程度上取决于通信协议的稳定性,而保证通信协议的稳定性,分两步来......
为了对基于唯一可达向量Petri网（URV-PN）的密码体制进行密码分析工作，有必要对唯一可达向量网系统的数学本质和各种性质进行深入的研......
随着计算机网络的高速发展,开发新型的网络协议成为热点研究课题。而新型网络协议的描述与验证又成为研究的关键。引入Petri网络模......
本文首先介绍了 ISDN 网络层协议的功能及试验模型的功能块连接,并示出了ISDN 的电路交换呼叫程序.然后,介绍一些 Petri 网的基本......
